<?php
/**
 * Authenticated user interface
 *
 * @author André Silva
 */
interface IUser {
	/**
	 * Check if the user have permission
	 * @param int $permission
	 * @return boolean
	 */
	public function hasPermission($permission);
}
?>
